open Syntax
open Binding
open Gobject.Data
open StdLabels
open GtkTree

val bind_ctx_to_view : GTree.view->context->unit
val init_view : GTree.view->GTree.view